algebraic direct sum